Symbolic Collection Using Deep Thought
نویسندگان
چکیده
We describe the “Deep Thought” algorithm, which can, among other things, take a commutator presentation for a finitely generated torsion-free nilpotent group G, and produce explicit polynomials for the multiplication of elements of G. These polynomials were first shown to exist by Philip Hall, and allow for “symbolic collection” in finitely generated nilpotent groups. We discuss various practical issues in calculations in such groups, including the construction of a hybrid collector, making use of both the polynomials and ordinary collection from the left.
منابع مشابه
A Study of Artistic and Symbolic Features in Five Royal Qajar Aigrettes in the National Treasury of Iran
The Iranian kings have valued jewels and ornaments greatly and any king has attempted to collect the best ornaments and jewels entrusting them to professional craftsmen to enable kings by this way to increase their imperial glory socially and economically. It was also thought that more ornaments mean a great and glorious kingdom. Therefore, different Iranian kings have collected a tremendous tr...
متن کاملUsing Cognitive Architectures to Improve Robot Control: Integrating Production Systems, Semantic Networks, and Sub-Symbolic Processing
In the last several years, a collection of systems have been designed around cognitive psychological principles in an attempt to reproduce the thought patterns of the human mind. These cognitive architectures have made progress in modeling human thought through production system architectures; however, they traditionally have little interaction with the outside world. Additionally, these system...
متن کاملتجلی نمادین اعداد در فرش دستباف
Carpet is one of the Iranian arts that is shaped in direct interaction with designers and weavers and therefore is a visual expression of their beliefs and ideas. This statement of beliefs, originates from the artist’s mentality influenced by culture, customs and religious teachings of society which is then traced on the vertexes of the carpet in different arrays and in the form of variou...
متن کاملDeath Thought in Samuel Beckett’s Works
One of the dominant acts of Samuel Beckett’s characters is their “death thought” or “deathliness.” They are either waiting to die or want to commit suicide. Disappointed with the proceedings of their life in modern society and to free themselves from deep crisis, these characters prefer death to life. Since ancient Greek tragedies, death has always been a basic theme in the works of many writer...
متن کاملA Semantic Loss Function for Deep Learning with Symbolic Knowledge
This paper develops a novel methodology for using symbolic knowledge in deep learning. From first principles, we derive a semantic loss function that bridges between neural output vectors and logical constraints. This loss function captures how close the neural network is to satisfying the constraints on its output. An experimental evaluation shows that our semantic loss function effectively gu...
متن کامل